Policy as Types
نویسندگان
چکیده
Drossopoulou and Noble [6] argue persuasively for the need for a means to express policy in object-capabilitybased systems. We investigate a practical means to realize their aim via the Curry-Howard isomorphism [1] [13]. Specifically, we investigate representing policy as types in a behavioral type system for the rho-calculus [15], a reflective higher-order variant of the π-calculus [18].
منابع مشابه
Personality Types as Correlate of Specific Phone Usages and Smart Phone Addiction among Students in the University of Ilorin, Kwara State, Nigeria
Past researchers have examined the impact of personality types on technology usage among students from varying angles. However, due to dearth of studies on personality types and smart phone addiction among students in the Nigerian environment, this study investigated the relationship between personality types, smart phone addiction and specific phone usages among University students. A sample s...
متن کاملEvidence for Informing Health Policy Development in Low- Income Countries (LICS): Perspectives of Policy Actors in Uganda
Background Although there is a general agreement on the benefits of evidence informed health policy development given resource constraints especially in Low-Income Countries (LICs), the definition of what evidence is, and what evidence is suitable to guide decision-making is still unclear. Our study is contributing to filling this knowledge gap. We aimed to explore health policy actors’ views r...
متن کاملThe Effect of Financial Globalization on Monetary Policy Discipline: The Evidence from 22 Developing Countries
The literature on the benefits and costs of financial globalization for developing countries has exploded in recent years. There seems to be a consensus that financial globalization has had a "discipline effect" on monetary policy, because it has reduced the returns from using monetary policy to stabilize the output. As a result, monetary policy over recent years has placed more emphasis o...
متن کاملAccess and Mobility Policy Control at the Network Edge
The fifth generation (5G) system architecture is defined as service-based and the core network functions are described as sets of services accessible through application programming interfaces (API). One of the components of 5G is Multi-access Edge Computing (MEC) which provides the open access to radio network functions through API. Using the mobile edge API third party analytics applications ...
متن کاملنقش رسانه در پیشگیری از جرم در سیاست جنایی ایران
In each country, the prevention of crime is the base of criminal policy. To achieve the prevention of crime, use a variety of tools and resources on a variety of criminal policy, legislative, and judicial policy. One of the ways to achieve the prevention, is the effect of different medias that now a day has an important role in the development of national and global communications. The media'...
متن کاملUncommon types of mourning in the light of criminal law and judicial procedures
In Islamic societies and among the Shiites in particular, in accordance with the necessity of respecting the divine rituals, mourning for the prophet and his esteemed family as an instance of divine rituals, is considered to be admired and appreciated. However, the mourning rituals, like many other sorts of social and religious issues, are the subject of the variety of interpretations and insta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1307.7766 شماره
صفحات -
تاریخ انتشار 2013